composition of isometries